Incremental Mechanism Design
نویسندگان
چکیده
Mechanism design has traditionally focused almost exclusively on the design of truthful mechanisms. There are several drawbacks to this: 1. in certain settings (e.g. voting settings), no desirable strategyproof mechanisms exist; 2. truthful mechanisms are unable to take advantage of the fact that computationally bounded agents may not be able to find the best manipulation, and 3. when designing mechanisms automatically, this approach leads to constrained optimization problems for which current techniques do not scale to very large instances. In this paper, we suggest an entirely different approach: we start with a naı̈ve (manipulable) mechanism, and incrementally make it more strategyproof over a sequence of iterations. We give examples of mechanisms that (variants of) our approach generate, including the VCG mechanism in general settings with payments, and the plurality-with-runoff voting rule. We also provide several basic algorithms for automatically executing our approach in general settings. Finally, we discuss how computationally hard it is for agents to find any remaining beneficial manipulation.
منابع مشابه
Seismic Design of Steel Structures Based on Ductility and Incremental Nonlinear Dynamic Analysis
In this paper a simple tool for seismic design of steel structures for a selected ductility level is presented. For this purpose, a consistent set of earthquakes is selected and sorted based on the maximum acceleration of ground surface. The selected records are applied as the base motion to a single-degree-of-freedom system with strain hardening and the maximum response acceleration is determi...
متن کاملInvestigating The Seismic Response of Structural Walls Using Nonlinear Static and Incremental Dynamic Analyses
Structural walls commonly used as efficient structural elements to resist lateral and vertical loads. Diverse performance of bearing wall system in past earthquakes, motivates investigation on the adequacy of current seismic design provision for these walls. This study considers seismic performance of model walls of bearing wall and building frame systems designed as ordinary and special struct...
متن کاملDesign and manufacture a novel tool in the incremental sheet metal forming process and its effects on the process parameters
One of the methods for making prototypes is incremental forming process. In this method, the forming tool, performs a pre-programmed movement by the CNC machine and runs the desired path. This modernization process is used in the automotive, aerospace, military, medical and other industries. One of the most influential parameters in this process is forming tool. This parameter is effective in f...
متن کاملIncremental parallel and distributed systems
Incremental computation strives for efficient successive runs of applications by reexecuting only those parts of the computation that are affected by a given input change instead of recomputing everything from scratch. To realize the benefits of incremental computation, researchers and practitioners are developing new systems where the application programmer can provide an efficient update mech...
متن کاملLow-Carbon Steel Sheet Asymmetric Single-Point Incremental Forming: Analysis and Optimization of the Surface Roughness (TECHNICAL NOTE)
Surface roughness (SR) has an adverse effect on the appearance of low-carbon steel parts, formed in the asymmetric incremental sheet forming (AISF) process, particularly those requiring painting operation. The purpose of this study is to investigate the effects of AISF process parameters on the surface roughness of an asymmetric part formed on low-carbon steel sheets. The parameters are feed ra...
متن کاملApproximate Incremental Dynamic Analysis Using Reduction of Ground Motion Records
Incremental dynamic analysis (IDA) requires the analysis of the non-linear response history of a structure for an ensemble of ground motions, each scaled to multiple levels of intensity and selected to cover the entire range of structural response. Recognizing that IDA of practical structures is computationally demanding, an approximate procedure based on the reduction of the number of ground m...
متن کامل